type T = string & (| number | boolean)
